Playing Propositional Logic Resolver - Quang Phan